Optimal. Leaf size=91 \[ -\frac {a+b \tan ^{-1}(c x)}{2 e \left (d+e x^2\right )}+\frac {b c^2 \tan ^{-1}(c x)}{2 e \left (c^2 d-e\right )}-\frac {b c \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{2 \sqrt {d} \sqrt {e} \left (c^2 d-e\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.07, antiderivative size = 91, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.210, Rules used = {4974, 391, 203, 205} \[ -\frac {a+b \tan ^{-1}(c x)}{2 e \left (d+e x^2\right )}+\frac {b c^2 \tan ^{-1}(c x)}{2 e \left (c^2 d-e\right )}-\frac {b c \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{2 \sqrt {d} \sqrt {e} \left (c^2 d-e\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 203
Rule 205
Rule 391
Rule 4974
Rubi steps
\begin {align*} \int \frac {x \left (a+b \tan ^{-1}(c x)\right )}{\left (d+e x^2\right )^2} \, dx &=-\frac {a+b \tan ^{-1}(c x)}{2 e \left (d+e x^2\right )}+\frac {(b c) \int \frac {1}{\left (1+c^2 x^2\right ) \left (d+e x^2\right )} \, dx}{2 e}\\ &=-\frac {a+b \tan ^{-1}(c x)}{2 e \left (d+e x^2\right )}-\frac {(b c) \int \frac {1}{d+e x^2} \, dx}{2 \left (c^2 d-e\right )}+\frac {\left (b c^3\right ) \int \frac {1}{1+c^2 x^2} \, dx}{2 \left (c^2 d-e\right ) e}\\ &=\frac {b c^2 \tan ^{-1}(c x)}{2 \left (c^2 d-e\right ) e}-\frac {a+b \tan ^{-1}(c x)}{2 e \left (d+e x^2\right )}-\frac {b c \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{2 \sqrt {d} \left (c^2 d-e\right ) \sqrt {e}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.16, size = 98, normalized size = 1.08 \[ \frac {a \sqrt {d} \left (c^2 d-e\right )-b \sqrt {d} e \left (c^2 x^2+1\right ) \tan ^{-1}(c x)+b c \sqrt {e} \left (d+e x^2\right ) \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{2 \sqrt {d} e \left (e-c^2 d\right ) \left (d+e x^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.53, size = 234, normalized size = 2.57 \[ \left [-\frac {2 \, a c^{2} d^{2} - 2 \, a d e - {\left (b c e x^{2} + b c d\right )} \sqrt {-d e} \log \left (\frac {e x^{2} - 2 \, \sqrt {-d e} x - d}{e x^{2} + d}\right ) - 2 \, {\left (b c^{2} d e x^{2} + b d e\right )} \arctan \left (c x\right )}{4 \, {\left (c^{2} d^{3} e - d^{2} e^{2} + {\left (c^{2} d^{2} e^{2} - d e^{3}\right )} x^{2}\right )}}, -\frac {a c^{2} d^{2} - a d e + {\left (b c e x^{2} + b c d\right )} \sqrt {d e} \arctan \left (\frac {\sqrt {d e} x}{d}\right ) - {\left (b c^{2} d e x^{2} + b d e\right )} \arctan \left (c x\right )}{2 \, {\left (c^{2} d^{3} e - d^{2} e^{2} + {\left (c^{2} d^{2} e^{2} - d e^{3}\right )} x^{2}\right )}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \mathit {sage}_{0} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.04, size = 109, normalized size = 1.20 \[ -\frac {c^{2} a}{2 e \left (c^{2} e \,x^{2}+c^{2} d \right )}-\frac {c^{2} b \arctan \left (c x \right )}{2 e \left (c^{2} e \,x^{2}+c^{2} d \right )}-\frac {c b \arctan \left (\frac {e x}{\sqrt {d e}}\right )}{2 \left (c^{2} d -e \right ) \sqrt {d e}}+\frac {b \,c^{2} \arctan \left (c x \right )}{2 \left (c^{2} d -e \right ) e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.43, size = 90, normalized size = 0.99 \[ \frac {1}{2} \, {\left (c {\left (\frac {c \arctan \left (c x\right )}{c^{2} d e - e^{2}} - \frac {\arctan \left (\frac {e x}{\sqrt {d e}}\right )}{{\left (c^{2} d - e\right )} \sqrt {d e}}\right )} - \frac {\arctan \left (c x\right )}{e^{2} x^{2} + d e}\right )} b - \frac {a}{2 \, {\left (e^{2} x^{2} + d e\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.85, size = 696, normalized size = 7.65 \[ \frac {b\,c\,\ln \left (e\,x+\sqrt {-d\,e}\right )\,\sqrt {-d\,e}}{4\,d\,e^2-4\,c^2\,d^2\,e}-\frac {2\,b\,c^2\,\mathrm {atan}\left (-\frac {\frac {c^2\,\left (c^8\,e\,x+\frac {c^2\,\left (2\,c^5\,e^3-4\,c^7\,d\,e^2+2\,c^9\,d^2\,e+\frac {c^2\,x\,\left (8\,c^{10}\,d^3\,e^2-8\,c^8\,d^2\,e^3-8\,c^6\,d\,e^4+8\,c^4\,e^5\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )}{4\,e^2-4\,c^2\,d\,e}-\frac {c^2\,\left (-c^8\,e\,x+\frac {c^2\,\left (2\,c^5\,e^3-4\,c^7\,d\,e^2+2\,c^9\,d^2\,e-\frac {c^2\,x\,\left (8\,c^{10}\,d^3\,e^2-8\,c^8\,d^2\,e^3-8\,c^6\,d\,e^4+8\,c^4\,e^5\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )}{4\,e^2-4\,c^2\,d\,e}}{\frac {c^2\,\left (c^8\,e\,x+\frac {c^2\,\left (2\,c^5\,e^3-4\,c^7\,d\,e^2+2\,c^9\,d^2\,e+\frac {c^2\,x\,\left (8\,c^{10}\,d^3\,e^2-8\,c^8\,d^2\,e^3-8\,c^6\,d\,e^4+8\,c^4\,e^5\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}+\frac {c^2\,\left (-c^8\,e\,x+\frac {c^2\,\left (2\,c^5\,e^3-4\,c^7\,d\,e^2+2\,c^9\,d^2\,e-\frac {c^2\,x\,\left (8\,c^{10}\,d^3\,e^2-8\,c^8\,d^2\,e^3-8\,c^6\,d\,e^4+8\,c^4\,e^5\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}\right )\,1{}\mathrm {i}}{4\,e^2-4\,c^2\,d\,e}}\right )}{4\,e^2-4\,c^2\,d\,e}-\frac {b\,\mathrm {atan}\left (c\,x\right )}{2\,e\,\left (e\,x^2+d\right )}-\frac {b\,c\,\ln \left (e\,x-\sqrt {-d\,e}\right )\,\sqrt {-d\,e}}{4\,\left (d\,e^2-c^2\,d^2\,e\right )}-\frac {a}{2\,e^2\,x^2+2\,d\,e} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________